<HTML><HEAD><TITLE>polyrenorm(+PolyOld, -PolyNew)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(linearize)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>polyrenorm(+PolyOld, -PolyNew)</H1>
Renormalize a polynomial form
<DL>
<DT><EM>PolyOld</EM></DT>
<DD>Possibly denormal polynomial form
</DD>
<DT><EM>PolyNew</EM></DT>
<DD>Normalized polynomial form
</DD>
</DL>
<H2>Description</H2>
	See polynorm/3 for the definition of the polynomial form.
	Such a form can become denormalized due to unifications
	(instantiation or variable-variable aliasing). This predicate
	renormalizes it.
    
<H2>Examples</H2>
<PRE>
    ?- polynorm(3*(X+Y),  Poly1, []), writeln(Poly1),
	Y = 3,
	polyrenorm(Poly1, Poly2), writeln(Poly2).

    [[[3, X], [3, Y]]]
    [[[9]], [[3, X]]]
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/linearize/polynorm-3.html">polynorm / 3</A>, <A HREF="../../lib/linearize/polydenorm-2.html">polydenorm / 2</A>
</BODY></HTML>
